Information flow

Results: 2315



#Item
61

Information Flow Control for Standard OS Abstractions Maxwell Krohn Alexander Yip Micah Brodsky Natan Cliffer M. Frans Kaashoek

Add to Reading List

Source URL: pdos.csail.mit.edu

- Date: 2018-03-08 13:25:54
    62

    The PlaybookTM Approach to Adaptive Automation Christopher Miller, Harry Funk, Peggy Wu, Robert Goldman, John Meisner, Marc Chapman {cmiller, hfunk, pwu, rpgoldman, jmeisner, mchapman}@sift.info Smart Information Flow Te

    Add to Reading List

    Source URL: rpgoldman.goldman-tribe.org

    - Date: 2016-08-14 16:12:27
      63

      DIFT - Dependent Information Flow Types Typechecker Prototype Draft Release Notes (v1.10) Luisa Lourenço Luis Caires CITI and NOVA Laboratory for Computer Science and Informatics

      Add to Reading List

      Source URL: ctp.di.fct.unl.pt

      - Date: 2015-01-26 04:11:09
        64

        Lada A. Adamic Phone: (, E-mail: , URL: http://www.ladamic.com RESEARCH INTERESTS: I study information dynamics in networks: how network structure influences the flow of information, how inf

        Add to Reading List

        Source URL: www.ladamic.com

        - Date: 2017-11-30 08:45:37
          65

          Faceted Dynamic Information Flow via Control and Data Monads Thomas Schmitz1 , Dustin Rhodes1 , Thomas H. Austin2 , Kenneth Knowles1 , and Cormac Flanagan1 1

          Add to Reading List

          Source URL: kennknowles.com

          - Date: 2016-05-10 22:00:05
            66

            Multiple Facets for Dynamic Information Flow Thomas H. Austin Cormac Flanagan

            Add to Reading List

            Source URL: users.soe.ucsc.edu

            - Date: 2018-02-28 12:31:37
              67

              CARTOGRAPHY AND GEOGRAPHIC INFORMATION SCIENCE, 2016 http://dx.doi.orgDesign principles for origin-destination flow maps Bernhard Jenny a,b, Daniel M. Stephen Eugene Zhangd and Helen Jennyb

              Add to Reading List

              Source URL: cartography.oregonstate.edu

              - Date: 2016-12-12 17:13:41
                68

                0 TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones WILLIAM ENCK, North Carolina State University PETER GILBERT, Duke University SEUNGYEOP HAN, University of Washington

                Add to Reading List

                Source URL: www.patrickmcdaniel.org

                - Date: 2016-11-26 07:36:40
                  69

                  Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow ? Yusuke Kawamoto1 , Fabrizio Biondi2 , and Axel Legay2 1 2

                  Add to Reading List

                  Source URL: www.cs.bham.ac.uk

                  - Date: 2016-09-02 19:17:19
                    70

                    Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati KTH Royal Institute of Technology SE, Stockholm, Sweden

                    Add to Reading List

                    Source URL: prosper.sics.se

                    - Date: 2013-10-17 09:26:32
                      UPDATE